package typeCheck;

public class ChannelType extends Type {

    public enum ChannelTypes {
        NORMAL, RECEIVE, SEND
    }

    private final ChannelTypes channelTypes;
    private final Type elementType;
    public ChannelType(String name, ChannelTypes channelTypes, Type elementType) {
        super(name, TypeEnum.INTERFACE);
        this.channelTypes = channelTypes;
        this.elementType = elementType;
    }

    public ChannelTypes getChannelTypes() {
        return this.channelTypes;
    }

    public Type getElementType() {
        return this.elementType;
    }
}
